Class invariant - PDFSEARCH.IO - Document Search Engine

Class invariant
Results: 50

#	Item
31	09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs Dagstuhl Seminar Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-02-24 02:50:07 Logic in computer science Programming paradigms Program logic Programming language semantics Substructural logic Separation logic Class invariant Invariant Loop invariant Theoretical computer science Software engineering Mathematics
32	A polynomial invariant of pseudo-Anosov maps Joan Birman (with Peter Brinkmann and Keiko Kawamuro) May 23, 2010 Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2010-05-25 17:33:03 Dynamical systems Pseudo-Anosov map Anosov diffeomorphism Mapping torus Mapping class group Invariant Polynomial Nielsen–Thurston classification Topology Geometric topology Homeomorphisms
33	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Software Model Checking of Data Structure Properties Paul T. Darga Chandrasekhar Boyapati Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2008-09-12 18:54:00 Binary trees Tree traversal Model checking Red–black tree Binary decision diagram Linked list Stack Invariant Class invariant Graph theory Mathematics Computing
34	Virtual Training for Multi-View Object Class Recognition Han-Pang Chiu Leslie Pack Kaelbling Tom´as Lozano-P´erez MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-06-11 20:15:36 Object recognition Gesture recognition View model 3D modeling Face detection Scale-invariant feature transform Computer vision Vision Imaging
35	Virtual Training for Multi-View Object Class Recognition Han-Pang Chiu Leslie Pack Kaelbling Tom´as Lozano-P´erez MIT Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-05-24 12:16:45 Object recognition Gesture recognition View model 3D modeling Face detection Scale-invariant feature transform Computer vision Vision Imaging
36	NEW PERSPECTIVES ON SELF-LINKING RYAN BUDNEY, JAMES CONANT, KEVIN P. SCANNELL, AND DEV SINHA Abstract. We initiate the study of classical knots through the homotopy class of the nth evaluation map of the knot, which is t Add to Reading List Source URL: borel.slu.edu Language: English - Date: 2005-10-25 21:01:43 Contractible space Finite type invariant Nerve Linking number Deformation retract CW complex Model category Degree of a continuous mapping Universal bundle Topology Homotopy theory Homotopy
37	doi:[removed]j.scico[removed] Add to Reading List Source URL: www.pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Programming paradigms Software testing Daikon Class invariant Invariant Java Modeling Language Emmy Noether Design by contract Control flow Software engineering Computing Computer programming
38	University of Bordeaux 1 algant master thesis Galois Representations Attached to Elliptic Curves Add to Reading List Source URL: www.algant.eu Language: English - Date: 2012-07-12 18:58:52 Elliptic curves Elliptic functions Class field theory Supersingular elliptic curve Galois module Algebraic number field Splitting of prime ideals in Galois extensions Complex multiplication J-invariant Abstract algebra Algebraic number theory Galois theory
39	The Contract Pattern Copyright 1997, Michel de Champlain Permission granted to copy for PLoP ’97 Conference. All other rights reserved. Add to Reading List Source URL: hillside.net Language: English - Date: 2004-02-16 17:17:56 Logic in computer science Programming paradigms Object-oriented programming Class invariant Method Eiffel Assertion Postcondition Precondition Software engineering Computing Computer programming
40	Danny Ruberman Title: Positive scalar curvature and diÆeomorphisms of 4-manifolds Abstract: We will discuss two interrelated questions ab out the geometry and topology of smooth 4-manifolds. The Ørst is the topology of Add to Reading List Source URL: www.crm.umontreal.ca Language: English - Date: 2001-08-06 11:56:35 Symplectic topology Surgery theory Manifold Seiberg–Witten invariant Geometry and topology 4-manifold Symplectic geometry Mapping class group Cobordism Topology Differential topology Geometric topology